ar X iv : m at h / 06 01 05 8 v 2 [ m at h . R A ] 1 3 Fe b 20 06 POSET REPRESENTATIONS OF DISTRIBUTIVE SEMILATTICES
نویسنده
چکیده
We prove that for any distributive ∨, 0-semilattice S, there are a meet-semilattice P with zero and a map µ : P × P → S such that µ(x, z) ≤ µ(x, y) ∨ µ(y, z) and x ≤ y implies that µ(x, y) = 0, for all x, y, z ∈ P , together with the following conditions: (i) µ(v, u) = 0 implies that u = v, for all u ≤ v in P. (ii) For all u ≤ v in P and all a, b ∈ S, if µ(v, u) = a ∨ b, then there are a positive integer n and a decomposition u = x 0 ≤ x 1 ≤ · · · ≤ xn = v such that µ(x i+1 , x i) lies either below a or below b, for all i < n. (iii) The subset {µ(x, 0) | x ∈ P } generates the semilattice S. Furthermore, any finite, bounded subset of P has a join, and P is bounded in case S is bounded. Furthermore, the construction is functorial on lattice-indexed diagrams of finite distributive ∨, 0, 1-semilattices.
منابع مشابه
ar X iv : m at h / 05 06 24 2 v 3 [ m at h . C O ] 1 7 Fe b 20 06 REDUCED DECOMPOSITIONS AND PERMUTATION PATTERNS
Billey, Jockusch, and Stanley characterized 321-avoiding permutations by a property of their reduced decompositions. This paper generalizes that result with a detailed study of permutations via their reduced decompositions and the notion of pattern containment. These techniques are used to prove a new characterization of vexillary permutations in terms of their principal dual order ideals in a ...
متن کاملar X iv : m at h / 05 10 24 8 v 2 [ m at h . O A ] 2 8 Fe b 20 06 THE CORONA FACTORIZATION PROPERTY
The corona factorization property is a property with connections to extension theory, K-theory and the structure of C *-algebras. This paper is a short survey of the subject, together with some new results and open questions.
متن کاملar X iv : m at h / 06 02 64 7 v 1 [ m at h . A G ] 2 8 Fe b 20 06 HIGHER FANO MANIFOLDS AND RATIONAL SURFACES
Let X be a Fano manifold of pseudo-index ≥ 3 such that c 1 (X) 2 − 2c 2 (X) is nef. Irreducibility of some spaces of rational curves on X (in fact, a weaker hypothesis) implies a general point of X is contained in a rational surface.
متن کاملar X iv : m at h / 06 02 37 1 v 1 [ m at h . A G ] 1 7 Fe b 20 06 Braid Monodromy of Hypersurface Singularities
متن کامل
ar X iv : m at h / 06 05 36 9 v 2 [ m at h . A G ] 1 1 Fe b 20 07 Vanishing Cycles and Thom ’ s a f Condition ∗
We give a complete description of the relationship between the vanishing cycles of a complex of sheaves along a function f and Thom’s af condition.
متن کامل